1. Gentzen calculi for modal propositional logi
پدیدآورنده: / Francesca Poggiolesi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Modality (Logic),Electronic books., local
2. Logic for concurrency and synchronisation
پدیدآورنده: / edited by Ruy J.G.B. de Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
